Lattice-free and point-free: Vickers duality for subbases of stably locally compact spaces
نویسندگان
چکیده
Inspired by classic work of Wallman and more recent Jung-Kegelmann-Moshier Vickers, we show how to encode general subbases stably locally compact spaces via certain entailment relations. We further build this up a categorical duality encompassing the Priestley-Stone its various extensions Shirota, De Vries, Hofmann-Lawson (in stable case), Jung-Sünderhauf, Hansoul-Poussart, Bezhanishvili-Jansana, van Gool Bice-Starling.
منابع مشابه
A point-free characterisation of Bishop locally compact metric spaces
We give a characterisation of Bishop locally compact metric spaces in terms of formal topology. To this end, we introduce the notion of inhabited enumerably locally compact regular formal topology, and show that the category of Bishop locally compact metric spaces is equivalent to the full subcategory of formal topologies consisting of those objects which are isomorphic to some inhabited enumer...
متن کاملOne-point extensions of locally compact paracompact spaces
A space $Y$ is called an {em extension} of a space $X$, if $Y$ contains $X$ as a dense subspace. Two extensions of $X$ are said to be {em equivalent}, if there is a homeomorphism between them which fixes $X$ point-wise. For two (equivalence classes of) extensions $Y$ and $Y'$ of $X$ let $Yleq Y'$, if there is a continuous function of $Y'$ into $Y$ which fixes $X$ point-wise. An extension $Y$ ...
متن کاملDuality and canonical extensions for stably compact spaces
We construct a canonical extension for strong proximity lattices in order to give an algebraic, point-free description of a finitary duality for stably compact spaces.
متن کاملfixed point property for banach algebras associated to locally compact groups
در این پایان نامه به بررسی خاصیت نقطه ثابت و خاصیت نقطه ثابت برای نیم گروههای برگشت پذیر چپ روی بعضی جبرهای باناخ از جمله جبر فوریه و جبر فوریه استیلتیس پرداخته شده است. برای مثال بیان شده است که اگر گروه یک گروه فشرده موضعی با همسایگی فشرده برای عنصر همانی که تحت درونریختی ها پایاست باشد آنگاه جبر فوریه و جبر فوریه استیلتیس دارای خاصیت نقطه ثابت برای نیم گروه های برگشت پذیر چپ است اگر و تنها ا...
15 صفحه اولStably compact spaces
The purpose of this article is to develop the basic theory of stably compact spaces (=compact, locally compact, coherent sober spaces) and introduce in an accessible manner with a minimum of prerequisites significant new lines of their investigation and application arising from recent research, primarily in the theoretical computer science community. There are three primary themes that are deve...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 2023
ISSN: ['1879-2294', '0304-3975']
DOI: https://doi.org/10.1016/j.tcs.2023.113895